41. Handbook of Combinatorial Optimization
پدیدآورنده : edited by Panos M. Pardalos, Ding-Zhu Du, Ronald L. Graham.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Mathematical optimization.,Mathematics.
42. Handbook of Global Optimization
پدیدآورنده : edited by Reiner Horst, Panos M. Pardalos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Computer science-- Mathematics.,Mathematical optimization.,Mathematics.,Operations research.
43. Handbook of computational social choice /
پدیدآورنده : edited by Felix Brandt [and four others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Interdisciplinary research.,Social choice.
رده :
HB846
.
8
.
H33
2016eb
44. Knapsack Problems
پدیدآورنده : by Hans Kellerer, Ulrich Pferschy, David Pisinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity.,Economics.,Operations research.
45. Language and automata theory and applications :
پدیدآورنده : edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
46. Lessons in scientific computing :
پدیدآورنده : by Norbert Schorghofer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Numerical analysis-- Data processing.,Science-- Mathematics-- Data processing.,Numerical analysis-- Data processing.,SCIENCE / General,Science-- Mathematics-- Data processing.
رده :
Q183
.
9
.
S236
2019
47. Linear algebra and probability for computer science applications /
پدیدآورنده : Ernest Davis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebras, Linear,Computer science-- Mathematics,Probabilities
رده :
QA76
.
9
.
M35
D38
2012
48. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
49. Mathematical foundations of computer science 2003 :
پدیدآورنده : Krzysztof Diks and Wojciech Rytter (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.
50. Mathematics and computation :
پدیدآورنده : Avi Wigderson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra, Boolean.,Computational complexity.,Cryptography.,Algebra, Boolean.,Computational complexity.,Cryptography.,MATHEMATICS / General.
رده :
QA267
.
7
51. Mathematics of optimization :
پدیدآورنده : Steven J. Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Management science, Problems, exercises, etc.,Mathematical optimization, Problems, exercises, etc.,Operations research, Problems, exercises, etc.,Computer science-- Theory of computing-- Analysis of algorithms and problem complexity.,Functional analysis-- Miscellaneous applications of functional analysis-- Applications in optimization, convex analysis, mathematical programming, economics.,Global analysis, analysis on manifolds-- Calculus on manifolds; nonlinear operators-- Fixed point theorems on manifolds.,Management science.,Mathematical optimization.,Mathematics education-- Mathematical modeling, applications of mathematics-- Operations research, economics.,Number theory-- Computational number theory-- Algorithms; complexity.,Numerical analysis-- Mathematical programming, optimization and variational techniques-- Optimization and variational techniques.,Operations research, mathematical programming-- Mathematical programming-- Linear programming.,Operations research.
رده :
QA402
.
5
.
M5534
2017
52. Maximum Entropy and Bayesian Methods
پدیدآورنده : edited by Gary J. Erickson, Joshua T. Rychert, C. Ray Smith.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Coding theory.,Computational complexity.,Distribution (Probability theory).,Mathematics.,Statistics.
53. Minimax and Applications
پدیدآورنده : edited by Ding-Zhu Du, Panos M. Pardalos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Computational complexity.,Computer science-- Mathematics.,Mathematics.
54. Modern Cryptography, Probabilistic Proofs and Pseudorandomness
پدیدآورنده : by Oded Goldreich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Computer science.,Data encryption (Computer science).,Distribution (Probability theory).,Information theory.,Mathematics.
55. Monte Carlo and Quasi-Monte Carlo Methods 2002 :
پدیدآورنده : edited by Harald Niederreiter.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Finance.,Mathematics.
رده :
Q183
.
9
E358
2004
56. New Trends in Mathematical Programming
پدیدآورنده : edited by Franco Giannessi, Sándor Komlósi, Tamás Rapcsák.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Computational complexity.,Computer science-- Mathematics.,Mathematical optimization.,Mathematics.
57. Operations Research and Discrete Analysis
پدیدآورنده : by Alekseĭ D. Korshunov.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Computational complexity.,Information theory.,Mathematical optimization.,Mathematics.
58. Parallel Algorithms in Computational Science
پدیدآورنده : edited by Dieter W. Heermann, Anthony N. Burkitt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Biology -- Data processing.,Chemistry.,Physics.
رده :
QA76
.
5
E358
1991
59. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
60. Scheduling Theory. Single-Stage Systems
پدیدآورنده : by V. S. Tanaev, V. S. Gordon, Y. M. Shafransky.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematics.,Operations research.,Production management.
رده :
TS157
.
5
B987
1994
